$\forall$$M$:MsgA. ma{-}is{-}empty($M$) $\in$ $\mathbb{B}$